A spatial logic for concurrency (part I)
نویسندگان
چکیده
منابع مشابه
A Spatial Logic for Concurrency (Part II)
We present a modal logic for describing the spatial organization and the behavior of distributed systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to process composition and name hiding, and a fresh quantifier.
متن کاملA Spatial Logic for Concurrency
We present a logic that can express properties of freshness, secrecy, structure,and behavior of concurrent systems. In addition to standard logical and tempo-ral operators, our logic includes spatial operations corresponding to composition,local name restriction, and a primitive fresh name quantifier. Properties can alsobe defined by recursion; a central aim of this paper is...
متن کاملSPATIAL TYPES FOR CONCURRENCY A Spatial Logic to Specify and Verify Distributed Systems
The problem of specifying and verifying properties is considered to be a classical problem in Computer Science. Recently, there has been a growing interest in spatial properties of Distributed Systems. So, several models have been proposed such that the proof systems are, in general, undecidable. An exception is the model-checker of Luı́s Caires. Traditionally, type systems are used to guarantee...
متن کاملA Local Reasoning for Global Invariants, Part I: Region Logic
ion and information hiding. There is an inconsistency in the declarations of Fig. 1. Fields rt and lt appear in the frame condition, which is part of the public interface used by client code outside class Comp, but these fields are declared private . (That is, they are visible only within code of Comp —and they are an implementation detail, so not suitable to be specpublic.) There is an establi...
متن کاملSPATIAL DATA ANALYSIS Part I
In the Bodmin Tors example above, notice from Figure 14a (p.20) that the clustering structure is actually quite different from that of the Redwood Seedling example in 12a (p.12). Rather than small isolate clumps, there appear to be two large groups of points in the northwest and southwest, separated by a large empty region. Moreover, the points within each group are actually quite uniform with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2003
ISSN: 0890-5401
DOI: 10.1016/s0890-5401(03)00137-8